翻訳と辞書
Words near each other
・ Beneful
・ Benegal Rama Rau
・ Benegas
・ Beneger
・ Benegiles
・ Beneh Kan
・ Beneh Kohol
・ Beneh Lar
・ Beneh, Ardabil
・ Beneharo
・ Benei Sión
・ Beneil Dariush
・ Benedikt Kögl
・ Benedikt Lampert
・ Benedikt Livshits
Benedikt Löwe
・ Benedikt Magnússon
・ Benedikt Mayr
・ Benedikt Negro
・ Benedikt Niese
・ Benedikt Pliquett
・ Benedikt Rejt
・ Benedikt Roezl
・ Benedikt Röcker
・ Benedikt Saller
・ Benedikt Sarnov
・ Benedikt Schack
・ Benedikt Schmid
・ Benedikt Schopper
・ Benedikt Sigurðsson Gröndal


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Benedikt Löwe : ウィキペディア英語版
Benedikt Löwe

Benedikt Löwe (born 1972) is a German mathematician and logician, and Professor at the University of Hamburg, known for initiating the interdisciplinary conference "Foundations of the Formal Sciences" (FotFS) in 1999.〔"(Foundations of the Formal Sciences )" (FotFS) is a series of interdisciplinary conferences. Accessed May 19, 2013〕〔Benedikt Lowe, Boris Piwinger, Thoralf Räsch eds. (2005) ''Classical and New Paradigms of Computation and Their Complexity Hierarchies: Papers of the Conference "Foundations of the Formal Sciences III".'' Springer.〕
Löwe received his BA in mathematics and philosophy at the University of Hamburg and continued his studies at the University of Tübingen, the University of Berlin and Berkeley. In 2001 he completed his PhD entitled ''Blackwell Determinacy'' about determinacy under supervision of Donald A. Martin and Ronald Björn Jensen. Since early 2000 he is Assistant Professor at the University of Amsterdam, and since late 2000s also Professor at the University of Hamburg. He is managing editor of the journal ''Mathematical Logic Quarterly''.〔(MLQ website )〕 and the journal ''Computability'', and editor at the journals ''Journal of Logic, Language and Information'' and ''Tbilisi Mathematical Journal''.
== Publications ==
Books, a selection:
* 2006. ''Logical approaches to computational barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 – July 5, 2006; proceedings''. Edited with Arnold Beckmann, Ulrich Berger and John V. Tucker.
* 2008. ''Games, scales, and Suslin cardinals''. With Alexander S. Kechris and John R. Steel. Cambridge : Cambridge University
* 2008. ''Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15 – 20, 2008; proceedings''. Edited with Arnold Beckmann and Costas Dimitracopoulos. Berlin ; Heidelberg () : Springer
* 2011. ''Wadge Degrees and Projective Ordinals The Cabal Seminar Volume II''. With Alexander S. Kechris and John R. Steel.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Benedikt Löwe」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.